reachability相关论文
Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon
The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by......
Reachability and Observability of Switched Linear Systems with Continuous-Time and Discrete-Time Sub
In this paper, the reachability and observability criteria of switched linear systems with continuous-time and discrete-......
Conditional pushdown systems (CPDSs) extend pushdown systems by associating each transition rule with a regular language......
This paper studies the reachability problem of the switched linear discrete singular (SLDS) systems. Under the condition......
Piecewise output feedback control for affine systems with disturbances based on linear temporal logi
In the paper, we investigate the problem of finding a piecewise output feedback control law for an uncertain affine syst......
The problem of k-hop reachability between two vertices in a graph has received considerable attention in recent years. A......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
根据单纯形仿射混杂系统的可达性分析设计控制律,使机器人在平面任意两点间运行,保证其安全性并考虑其最优性.对机器人的状态空间......
In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the......
可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判......
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其......
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关......
petri网系统的可达性问题是系统的状态、行为分析的基础．本文主要研究了通过建立能量优化模型方法和神经网络技术来实现可达性问题......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
建立电气主接线可靠性评估的有向故障流图模型,利用网络拓扑理论中的可达性计算形成系统的割集。并对两种典型的穿越变电所电气主......
用 Baire 度量标准，这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架......
定义了一个petri网子类：PN=（S，T；F，M0），满足条件Vs∈S→｜s｜≤1。证明：当目标标识Md〉0时，此petri网子类的可达性等价于状态方程Md=M0＋A^TX的可......
在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
建立了转炉吹炼后期的系统状态模型,讨论了在正常吹炼条件下系统吹炼后期的动态行为与状态的可达性等问题。并在此基础上,提出了两......
为实现在轨维护维修性验证技术中可达性定量化分析的目的,首先对维修任务进行任务层次法分解。在此基础上,对维修作业进行运动控制......
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。......
本文讨论对称及广义对称非线性系统的可达性与可控性。文中证明了如果广义对称系统在一点的邻域可控,那么系统在包含该点群作用轨......
针对不确定性并行程序难于测试的问题,分析了并行程序消息传递行为与网格环境中网络性能约束之间的关系,在经典可达性测试算法的基......
在一个网系统中，如果每个库所中的标志数都等于0，则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的......
Reachability is a key criterion in maintenance design, and human arm is the main object in reachability analysis. The hu......
在无线Ad hoc网络中,广播作为一种重要的通信方式被许多单播和多播协议用来完成其路由建立和维护工作.文中假设网络中所有的移动节......
定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方......
针对网构软件（Internetware）可达性检测中存在状态空间“爆炸”等问题，提出了一种基于网构软件代数模型的可达性检测方法．根据网构软件......
基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型，常用于事件驱动的并发程序或分布式程序建模．然而当模型包含递归过程调......
混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件，以及离散......
通过大数据技术抓取百度地图中288个地级市及以上城市之间的最短旅行时间,修正加权平均旅行时间公式,研究我国城市可达性空间格局......
本文提出了０－规划的Ｐｅｔｒｉ网模型，并用Ｐｅｔｒｉ的可达性树来求０－１规划的最优解。此方法优于隐枚举法和分枝定界算法，因此为０－１规划的求解提供了更好的方法。......
利用RAMSIS人体模型对跨坐式单轨驾驶室操控件进行人机工程的可及性分析,通过分析得出大部分不同百分位人体均能满足目前操控件的......
Petri网是一种具有动态特性的建模工具，模糊Petri网是Petri网的一个重要分支，可以有效处理具有不精确的、不确定的复杂因素的系统模......
为了保护社会网络隐私信息，提出了多种社会网络图匿名化技术．图匿名化目的在于通过图修改操作来防止隐私泄露，同时保证匿名图在社会网......
证明离散定常线性系统能达性与能控性两种定义的等价性，并改进了能达性与能控性基本判定定理的证明。......
本文通过对最小飞行机组条款的解读,设计了相应的模拟实验,对机组工作功能和工作量评估进行深入研究。本文采用的方法是计算机辅助......
本文结合机理分析和经验知识,为中变系统建立起链型模型,并对它进行了链能达分析。该模型在实际中得到了成功应用。......
研究了一般化非自治非线性极小极大加系统的输出反馈镇定问题．首先，提出了闭环系统单极大射影系统表达式．其次，研究指出闭环单极大射影......
数据链路层位于网络体系结构第二层，向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模，根据变迁设定原则，将逻辑状态与......
提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模......
以机械维修过程中存在的人机工程学问题为出发点，结合维修工作的特点，对维修作业中存在的人机工程问题（操作可达性、视觉可达性和维修......
本文讨论了次关键路线与关键路线之间的一些关系，并给出了求次关键路线的Ｐｅｔｒｉ网方法。......
本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤（sum from i=2 to n）a<sub>i</sub>（d<sub>i</sub>-1）/d<sub>i</sub>-（sum......
Petri网的合法变迁引发序列问题（LFS）是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一......
针对大规模图的可达性索引代价过大问题,提出一种基于双区间标签的索引方法。该方法为每个节点分配主区间和辅助区间,应用这2个区......
本文基于北京市快速路的实测交通流数据，提出了北京市快速路的拥堵分级评价标准，并根据交通流数据的时空特性建立了时空模型矩阵，根据......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
